; ModuleID = ""
target triple = "x86_64-pc-linux-gnu"
target datalayout = ""

define i64 @"SECRET"(i64 %"SymVar_0") nounwind
{
.3:
  %".4" = sub i64 %"SymVar_0", 902749805
  %".5" = zext i64 %"SymVar_0" to i128
  %".6" = zext i64 0 to i128
  %".7" = shl i128 %".6", 64
  %".8" = or i128 %".5", %".7"
  %".9" = zext i8 7 to i64
  %".10" = zext i8 0 to i64
  %".11" = shl i64 %".10", 8
  %".12" = or i64 %".9", %".11"
  %".13" = zext i8 0 to i64
  %".14" = shl i64 %".13", 16
  %".15" = or i64 %".12", %".14"
  %".16" = zext i8 0 to i64
  %".17" = shl i64 %".16", 24
  %".18" = or i64 %".15", %".17"
  %".19" = zext i8 0 to i64
  %".20" = shl i64 %".19", 32
  %".21" = or i64 %".18", %".20"
  %".22" = zext i8 0 to i64
  %".23" = shl i64 %".22", 40
  %".24" = or i64 %".21", %".23"
  %".25" = zext i8 0 to i64
  %".26" = shl i64 %".25", 48
  %".27" = or i64 %".24", %".26"
  %".28" = zext i8 0 to i64
  %".29" = shl i64 %".28", 56
  %".30" = or i64 %".27", %".29"
  %".31" = zext i64 %".30" to i128
  %".32" = udiv i128 %".8", %".31"
  %".33" = trunc i128 %".32" to i64
  %".34" = zext i8 3 to i64
  %".35" = and i64 %".34", 63
  %".36" = lshr i64 %".33", %".35"
  %".37" = and i64 %".36", 15
  %".38" = or i64 1, %".37"
  %".39" = sub i64 64, %".38"
  %".40" = trunc i64 %".39" to i32
  %".41" = zext i32 %".40" to i64
  %".42" = trunc i64 %".41" to i8
  %".43" = zext i8 %".42" to i64
  %".44" = and i64 %".43", 63
  %".45" = lshr i64 127996265, %".44"
  %".46" = zext i8 3 to i64
  %".47" = and i64 %".46", 63
  %".48" = lshr i64 %".33", %".47"
  %".49" = and i64 %".48", 15
  %".50" = or i64 %".49", 1
  %".51" = trunc i64 %".50" to i32
  %".52" = zext i32 %".51" to i64
  %".53" = trunc i64 %".52" to i8
  %".54" = zext i8 %".53" to i64
  %".55" = and i64 %".54", 63
  %".56" = shl i64 127996265, %".55"
  %".57" = or i64 %".45", %".56"
  %".58" = zext i8 4 to i64
  %".59" = and i64 %".58", 63
  %".60" = lshr i64 %".57", %".59"
  %".61" = and i64 %".60", 15
  %".62" = or i64 1, %".61"
  %".63" = trunc i64 %".62" to i32
  %".64" = zext i32 %".63" to i64
  %".65" = trunc i64 %".64" to i8
  %".66" = zext i8 %".65" to i64
  %".67" = and i64 %".66", 63
  %".68" = shl i64 %"SymVar_0", %".67"
  %".69" = zext i8 3 to i64
  %".70" = and i64 %".69", 63
  %".71" = lshr i64 %".33", %".70"
  %".72" = and i64 15, %".71"
  %".73" = or i64 %".72", 1
  %".74" = trunc i64 %".73" to i32
  %".75" = zext i32 %".74" to i64
  %".76" = trunc i64 %".75" to i8
  %".77" = zext i8 %".76" to i64
  %".78" = and i64 %".77", 63
  %".79" = shl i64 127996265, %".78"
  %".80" = zext i8 3 to i64
  %".81" = and i64 %".80", 63
  %".82" = lshr i64 %".33", %".81"
  %".83" = and i64 %".82", 15
  %".84" = or i64 %".83", 1
  %".85" = sub i64 64, %".84"
  %".86" = trunc i64 %".85" to i32
  %".87" = zext i32 %".86" to i64
  %".88" = trunc i64 %".87" to i8
  %".89" = zext i8 %".88" to i64
  %".90" = and i64 %".89", 63
  %".91" = lshr i64 127996265, %".90"
  %".92" = or i64 %".79", %".91"
  %".93" = zext i8 4 to i64
  %".94" = and i64 %".93", 63
  %".95" = lshr i64 %".92", %".94"
  %".96" = and i64 15, %".95"
  %".97" = or i64 %".96", 1
  %".98" = sub i64 64, %".97"
  %".99" = trunc i64 %".98" to i32
  %".100" = zext i32 %".99" to i64
  %".101" = trunc i64 %".100" to i8
  %".102" = zext i8 %".101" to i64
  %".103" = and i64 %".102", 63
  %".104" = lshr i64 %"SymVar_0", %".103"
  %".105" = or i64 %".68", %".104"
  %".106" = and i64 %".105", 31
  %".107" = zext i8 4 to i64
  %".108" = and i64 %".107", 63
  %".109" = shl i64 %".106", %".108"
  %".110" = or i64 %".109", %".33"
  %".111" = and i64 %".110", 15
  %".112" = zext i8 2 to i64
  %".113" = and i64 %".112", 63
  %".114" = shl i64 %".111", %".113"
  %".115" = or i64 %".114", %".110"
  %".116" = and i64 %".115", 15
  %".117" = or i64 1, %".116"
  %".118" = sub i64 64, %".117"
  %".119" = trunc i64 %".118" to i32
  %".120" = zext i32 %".119" to i64
  %".121" = trunc i64 %".120" to i8
  %".122" = zext i8 %".121" to i64
  %".123" = and i64 %".122", 63
  %".124" = lshr i64 %".4", %".123"
  %".125" = and i64 %".115", 15
  %".126" = or i64 1, %".125"
  %".127" = trunc i64 %".126" to i32
  %".128" = zext i32 %".127" to i64
  %".129" = trunc i64 %".128" to i8
  %".130" = zext i8 %".129" to i64
  %".131" = and i64 %".130", 63
  %".132" = shl i64 %".4", %".131"
  %".133" = or i64 %".124", %".132"
  %".134" = sub i64 %"SymVar_0", 696182945
  %".135" = sext i64 %".134" to i128
  %".136" = sext i64 343000538 to i128
  %".137" = mul i128 %".135", %".136"
  %".138" = trunc i128 %".137" to i64
  %".139" = lshr i64 %".138", 16
  %".140" = trunc i64 %".139" to i8
  %".141" = zext i8 %".140" to i16
  %".142" = lshr i64 %".138", 24
  %".143" = trunc i64 %".142" to i8
  %".144" = zext i8 %".143" to i16
  %".145" = shl i16 %".144", 8
  %".146" = or i16 %".141", %".145"
  %".147" = zext i16 %".146" to i32
  %".148" = zext i32 %".147" to i64
  %".149" = trunc i64 %".148" to i16
  %".150" = zext i16 %".149" to i32
  %".151" = zext i32 %".150" to i64
  %".152" = trunc i64 %".151" to i16
  %".153" = zext i16 %".152" to i32
  %".154" = zext i32 %".153" to i64
  %".155" = trunc i64 %".154" to i16
  %".156" = zext i16 %".155" to i32
  %".157" = zext i32 %".156" to i64
  %".158" = trunc i64 %".157" to i16
  %".159" = zext i16 %".158" to i32
  %".160" = zext i32 %".159" to i64
  %".161" = trunc i64 %".160" to i16
  %".162" = trunc i16 %".161" to i8
  %".163" = zext i8 %".162" to i64
  %".164" = trunc i64 %".160" to i16
  %".165" = lshr i16 %".164", 8
  %".166" = trunc i16 %".165" to i8
  %".167" = zext i8 %".166" to i64
  %".168" = shl i64 %".167", 8
  %".169" = or i64 %".163", %".168"
  %".170" = lshr i64 %".138", 32
  %".171" = trunc i64 %".170" to i8
  %".172" = zext i8 %".171" to i16
  %".173" = lshr i64 %".138", 40
  %".174" = trunc i64 %".173" to i8
  %".175" = zext i8 %".174" to i16
  %".176" = shl i16 %".175", 8
  %".177" = or i16 %".172", %".176"
  %".178" = zext i16 %".177" to i32
  %".179" = zext i32 %".178" to i64
  %".180" = trunc i64 %".179" to i16
  %".181" = zext i16 %".180" to i32
  %".182" = zext i32 %".181" to i64
  %".183" = trunc i64 %".182" to i16
  %".184" = zext i16 %".183" to i32
  %".185" = zext i32 %".184" to i64
  %".186" = trunc i64 %".185" to i16
  %".187" = zext i16 %".186" to i32
  %".188" = zext i32 %".187" to i64
  %".189" = trunc i64 %".188" to i16
  %".190" = zext i16 %".189" to i32
  %".191" = zext i32 %".190" to i64
  %".192" = trunc i64 %".191" to i16
  %".193" = zext i16 %".192" to i32
  %".194" = zext i32 %".193" to i64
  %".195" = trunc i64 %".194" to i16
  %".196" = trunc i16 %".195" to i8
  %".197" = zext i8 %".196" to i64
  %".198" = shl i64 %".197", 16
  %".199" = or i64 %".169", %".198"
  %".200" = trunc i64 %".194" to i16
  %".201" = lshr i16 %".200", 8
  %".202" = trunc i16 %".201" to i8
  %".203" = zext i8 %".202" to i64
  %".204" = shl i64 %".203", 24
  %".205" = or i64 %".199", %".204"
  %".206" = lshr i64 %".138", 48
  %".207" = trunc i64 %".206" to i8
  %".208" = zext i8 %".207" to i16
  %".209" = lshr i64 %".138", 56
  %".210" = trunc i64 %".209" to i8
  %".211" = zext i8 %".210" to i16
  %".212" = shl i16 %".211", 8
  %".213" = or i16 %".208", %".212"
  %".214" = zext i16 %".213" to i32
  %".215" = zext i32 %".214" to i64
  %".216" = trunc i64 %".215" to i16
  %".217" = zext i16 %".216" to i32
  %".218" = zext i32 %".217" to i64
  %".219" = trunc i64 %".218" to i16
  %".220" = zext i16 %".219" to i32
  %".221" = zext i32 %".220" to i64
  %".222" = trunc i64 %".221" to i16
  %".223" = zext i16 %".222" to i32
  %".224" = zext i32 %".223" to i64
  %".225" = trunc i64 %".224" to i16
  %".226" = zext i16 %".225" to i32
  %".227" = zext i32 %".226" to i64
  %".228" = trunc i64 %".227" to i16
  %".229" = zext i16 %".228" to i32
  %".230" = zext i32 %".229" to i64
  %".231" = trunc i64 %".230" to i16
  %".232" = zext i16 %".231" to i32
  %".233" = zext i32 %".232" to i64
  %".234" = trunc i64 %".233" to i16
  %".235" = zext i16 %".234" to i32
  %".236" = zext i32 %".235" to i64
  %".237" = trunc i64 %".236" to i16
  %".238" = zext i16 %".237" to i32
  %".239" = zext i32 %".238" to i64
  %".240" = trunc i64 %".239" to i16
  %".241" = zext i16 %".240" to i32
  %".242" = zext i32 %".241" to i64
  %".243" = trunc i64 %".242" to i16
  %".244" = trunc i16 %".243" to i8
  %".245" = zext i8 %".244" to i64
  %".246" = shl i64 %".245", 32
  %".247" = or i64 %".205", %".246"
  %".248" = trunc i64 %".242" to i16
  %".249" = lshr i16 %".248", 8
  %".250" = trunc i16 %".249" to i8
  %".251" = zext i8 %".250" to i64
  %".252" = shl i64 %".251", 40
  %".253" = or i64 %".247", %".252"
  %".254" = trunc i64 %".138" to i8
  %".255" = zext i8 %".254" to i16
  %".256" = lshr i64 %".138", 8
  %".257" = trunc i64 %".256" to i8
  %".258" = zext i8 %".257" to i16
  %".259" = shl i16 %".258", 8
  %".260" = or i16 %".255", %".259"
  %".261" = zext i16 %".260" to i32
  %".262" = zext i32 %".261" to i64
  %".263" = trunc i64 %".262" to i16
  %".264" = zext i16 %".263" to i32
  %".265" = zext i32 %".264" to i64
  %".266" = trunc i64 %".265" to i16
  %".267" = trunc i16 %".266" to i8
  %".268" = zext i8 %".267" to i64
  %".269" = shl i64 %".268", 48
  %".270" = or i64 %".253", %".269"
  %".271" = trunc i64 %".265" to i16
  %".272" = lshr i16 %".271", 8
  %".273" = trunc i16 %".272" to i8
  %".274" = zext i8 %".273" to i64
  %".275" = shl i64 %".274", 56
  %".276" = or i64 %".270", %".275"
  %".277" = zext i8 2 to i64
  %".278" = and i64 %".277", 63
  %".279" = lshr i64 %".276", %".278"
  %".280" = and i64 %".279", 15
  %".281" = or i64 %".280", 1
  %".282" = trunc i64 %".281" to i32
  %".283" = zext i32 %".282" to i64
  %".284" = trunc i64 %".283" to i8
  %".285" = zext i8 %".284" to i64
  %".286" = and i64 %".285", 63
  %".287" = shl i64 %".105", %".286"
  %".288" = zext i8 %".162" to i64
  %".289" = zext i8 %".166" to i64
  %".290" = shl i64 %".289", 8
  %".291" = or i64 %".288", %".290"
  %".292" = zext i8 %".196" to i64
  %".293" = shl i64 %".292", 16
  %".294" = or i64 %".291", %".293"
  %".295" = zext i8 %".202" to i64
  %".296" = shl i64 %".295", 24
  %".297" = or i64 %".294", %".296"
  %".298" = zext i8 %".244" to i64
  %".299" = shl i64 %".298", 32
  %".300" = or i64 %".297", %".299"
  %".301" = zext i8 %".250" to i64
  %".302" = shl i64 %".301", 40
  %".303" = or i64 %".300", %".302"
  %".304" = zext i8 %".267" to i64
  %".305" = shl i64 %".304", 48
  %".306" = or i64 %".303", %".305"
  %".307" = zext i8 %".273" to i64
  %".308" = shl i64 %".307", 56
  %".309" = or i64 %".306", %".308"
  %".310" = zext i8 2 to i64
  %".311" = and i64 %".310", 63
  %".312" = lshr i64 %".309", %".311"
  %".313" = and i64 15, %".312"
  %".314" = or i64 %".313", 1
  %".315" = sub i64 64, %".314"
  %".316" = trunc i64 %".315" to i32
  %".317" = zext i32 %".316" to i64
  %".318" = trunc i64 %".317" to i8
  %".319" = zext i8 %".318" to i64
  %".320" = and i64 %".319", 63
  %".321" = lshr i64 %".105", %".320"
  %".322" = or i64 %".287", %".321"
  %".323" = zext i8 4 to i64
  %".324" = and i64 %".323", 63
  %".325" = lshr i64 %".322", %".324"
  %".326" = and i64 %".325", 15
  %".327" = or i64 %".326", 1
  %".328" = trunc i64 %".327" to i32
  %".329" = zext i32 %".328" to i64
  %".330" = trunc i64 %".329" to i8
  %".331" = zext i8 %".330" to i64
  %".332" = and i64 %".331", 63
  %".333" = lshr i64 %".133", %".332"
  %".334" = and i64 15, %".115"
  %".335" = or i64 1, %".334"
  %".336" = trunc i64 %".335" to i32
  %".337" = zext i32 %".336" to i64
  %".338" = trunc i64 %".337" to i8
  %".339" = zext i8 %".338" to i64
  %".340" = and i64 %".339", 63
  %".341" = shl i64 %".4", %".340"
  %".342" = and i64 15, %".115"
  %".343" = or i64 %".342", 1
  %".344" = sub i64 64, %".343"
  %".345" = trunc i64 %".344" to i32
  %".346" = zext i32 %".345" to i64
  %".347" = trunc i64 %".346" to i8
  %".348" = zext i8 %".347" to i64
  %".349" = and i64 %".348", 63
  %".350" = lshr i64 %".4", %".349"
  %".351" = or i64 %".341", %".350"
  %".352" = zext i8 %".162" to i64
  %".353" = zext i8 %".166" to i64
  %".354" = shl i64 %".353", 8
  %".355" = or i64 %".352", %".354"
  %".356" = zext i8 %".196" to i64
  %".357" = shl i64 %".356", 16
  %".358" = or i64 %".355", %".357"
  %".359" = zext i8 %".202" to i64
  %".360" = shl i64 %".359", 24
  %".361" = or i64 %".358", %".360"
  %".362" = zext i8 %".244" to i64
  %".363" = shl i64 %".362", 32
  %".364" = or i64 %".361", %".363"
  %".365" = zext i8 %".250" to i64
  %".366" = shl i64 %".365", 40
  %".367" = or i64 %".364", %".366"
  %".368" = zext i8 %".267" to i64
  %".369" = shl i64 %".368", 48
  %".370" = or i64 %".367", %".369"
  %".371" = zext i8 %".273" to i64
  %".372" = shl i64 %".371", 56
  %".373" = or i64 %".370", %".372"
  %".374" = zext i8 2 to i64
  %".375" = and i64 %".374", 63
  %".376" = lshr i64 %".373", %".375"
  %".377" = and i64 %".376", 15
  %".378" = or i64 %".377", 1
  %".379" = sub i64 64, %".378"
  %".380" = trunc i64 %".379" to i32
  %".381" = zext i32 %".380" to i64
  %".382" = trunc i64 %".381" to i8
  %".383" = zext i8 %".382" to i64
  %".384" = and i64 %".383", 63
  %".385" = lshr i64 %".105", %".384"
  %".386" = zext i8 %".162" to i64
  %".387" = zext i8 %".166" to i64
  %".388" = shl i64 %".387", 8
  %".389" = or i64 %".386", %".388"
  %".390" = zext i8 %".196" to i64
  %".391" = shl i64 %".390", 16
  %".392" = or i64 %".389", %".391"
  %".393" = zext i8 %".202" to i64
  %".394" = shl i64 %".393", 24
  %".395" = or i64 %".392", %".394"
  %".396" = zext i8 %".244" to i64
  %".397" = shl i64 %".396", 32
  %".398" = or i64 %".395", %".397"
  %".399" = zext i8 %".250" to i64
  %".400" = shl i64 %".399", 40
  %".401" = or i64 %".398", %".400"
  %".402" = zext i8 %".267" to i64
  %".403" = shl i64 %".402", 48
  %".404" = or i64 %".401", %".403"
  %".405" = zext i8 %".273" to i64
  %".406" = shl i64 %".405", 56
  %".407" = or i64 %".404", %".406"
  %".408" = zext i8 2 to i64
  %".409" = and i64 %".408", 63
  %".410" = lshr i64 %".407", %".409"
  %".411" = and i64 15, %".410"
  %".412" = or i64 %".411", 1
  %".413" = trunc i64 %".412" to i32
  %".414" = zext i32 %".413" to i64
  %".415" = trunc i64 %".414" to i8
  %".416" = zext i8 %".415" to i64
  %".417" = and i64 %".416", 63
  %".418" = shl i64 %".105", %".417"
  %".419" = or i64 %".385", %".418"
  %".420" = zext i8 4 to i64
  %".421" = and i64 %".420", 63
  %".422" = lshr i64 %".419", %".421"
  %".423" = and i64 15, %".422"
  %".424" = or i64 %".423", 1
  %".425" = sub i64 64, %".424"
  %".426" = trunc i64 %".425" to i32
  %".427" = zext i32 %".426" to i64
  %".428" = trunc i64 %".427" to i8
  %".429" = zext i8 %".428" to i64
  %".430" = and i64 %".429", 63
  %".431" = shl i64 %".351", %".430"
  %".432" = or i64 %".333", %".431"
  ret i64 %".432"
}
